Логическая выводимость

Перевод логическая выводимость на английский язык

Логическая выводимость этой аксиомы не вызывает сомнений.

The logical derivability of this axiom is beyond doubt.